| emsoft | participants

Marieke Huisman

EMSOFT 2025: 25th International Conference on Embedded Software

Deductive Verification of Cooperative RTOS Applications

Philip Tasche, Paula Herber, and Marieke Huisman